Formal Modeling of C. elegans Development: A Scenario-Based Approach
نویسندگان
چکیده
We present preliminary results of a new approach to the formal modeling of biological phenomena. The approach stems from the conceptual compatibility of the methods and logic of data collection and analysis in the field of developmental genetics with the languages, methods and tools of scenario-based reactive system design. In particular, we use the recently developed methodology consisting of the language of live sequence charts with the play-in/play-out process, to model the well-characterized process of cell fate acquisition during C. elegans vulval development.
منابع مشابه
Developing Reliable yet Flexible Software through If-Then Model Transformation Rules
Developing reliable yet flexible software is a hard problem. Although modeling methods enjoy a lot of advantages, the exclusive use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. Formal modeling methods ensure reliability because they use a rigorous approach to software development. However, lack of knowledge and high cost practically fo...
متن کاملModeling of Climate Change Effects on Groundwater Resources: The Application of Dynamic Systems Approach
The purpose of the present study was the simulation of climate change effects on groundwater resources in Iran by using the dynamic systems approach. The approach was performed through system dynamics modeling process including problem explanation, system description, model development, model testing, and the use of the model for policy analysis. The impact of the application of various exogeno...
متن کاملFormal approach on modeling and predicting of software system security: Stochastic petri net
To evaluate and predict component-based software security, a two-dimensional model of software security is proposed by Stochastic Petri Net in this paper. In this approach, the software security is modeled by graphical presentation ability of Petri nets, and the quantitative prediction is provided by the evaluation capability of Stochastic Petri Net and the computing power of Markov chain. Each...
متن کاملScenario-based modeling for multiple allocation hub location problem under disruption risk: multiple cuts Benders decomposition approach
The hub location problem arises in a variety of domains such as transportation and telecommunication systems. In many real-world situations, hub facilities are subject to disruption. This paper deals with the multiple allocation hub location problem in the presence of facilities failure. To model the problem, a two-stage stochastic formulation is developed. In the proposed model, the number of ...
متن کاملA Scenario Analysis Through Fuzzy Cognitive Map Modeling for Sustainable Development Goals Survival In the Context of the COVID-19 Pandemic: A Case Study of Iran
To respond to the urgent call for preventive action against COVID-19 pandemic implications for societies, this research is carried out. The main aim of our research is providing a new insight for the effects of the newly emerged restrictions by COVID-19 on the SD Goals (SDGs). This research applied a qualitative approach for supporting the SDGs achievement post-COVID in Iran, as a developing co...
متن کامل